101. #A tour through mathematical logic
پدیدآورنده : #Robert S. Wolf
موضوع : Logic, Symbolic and mathematical ،Algebra, Abstract
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
102. A tour through mathematical logic
پدیدآورنده : Wolf, Robert S.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Algebra, Abstract
رده :
QA
9
.
W65T6
103. A tour through mathematical logic /
پدیدآورنده : Robert S. Wolf
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra, Abstract,Logic, Symbolic and mathematical
رده :
QA9
.
W64
2005
104. A unifying field in logics :
پدیدآورنده : Florentin Smarandache.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.
رده :
BC135
.
S5177
2003
105. Abelian varieties
پدیدآورنده : Lang, Serge
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Abelian groups,، Logic, Symbolic and mathematical
رده :
QA
171
.
L28
106. Abstract set theory
پدیدآورنده :
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Logic, symbolic and mathematical,Algebra, abstract
رده :
512
.
8
Fr-A
107. Acting and Reflecting :
پدیدآورنده : edited by Wilfried Sieg.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Logic.,Philosophy (General)
108. Adapting proofs-as-programs
پدیدآورنده : / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science),Lambda calculus,Abstract data types (Computer science),Electronic books. , local
رده :
E-BOOK
109. Adapting proofs-as-programs
پدیدآورنده : / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science,Lambda calculus,Abstract data types (Computer science
رده :
E-BOOK
110. Adaptive Resonance Theory Microchips
پدیدآورنده : by Teresa Serrano-Gotarredona, Bernabé Linares-Barranco, Andreas G. Andreou.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer engineering.,Engineering.,Logic, Symbolic and mathematical.
111. #Admissibility of logical inference rules
پدیدآورنده : #Vladimir V. Rybakov
کتابخانه: Central Library of Esfehan University of Technology (Esfahan)
موضوع : Logic, Symbolic and mathematical ،Inference
رده :
#
QA
،#.
R986
،#
1997
112. Admissibility of logical inference rules
پدیدآورنده : Rybakov, Vladimir Vladimir
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Logic, Symbolic and mathematical , Inference
رده :
QA
9
.
R986
1997
113. Admissibility of logical inference rules
پدیدآورنده : Rybakov, Vladimir V. )Vladimir Vladimir(
کتابخانه: Central Library and Documentation Center (Semnan)
موضوع : ، Logic, Symbolic and mathematical,، Inference
رده :
QA
9
.
R986
1997
114. Admissible sets and structures : an approach to definability theory
پدیدآورنده : Barwise, Jon.
موضوع : ، Admissible sets,، Definability theory )Mathematical logic(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
115. Admissible sets and structures : an approach to definability theory
پدیدآورنده : Barwise, Jon
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Admissible sets,، Definability theory )Mathematical logic(
رده :
QA
9
.
B29
116. Admissible sets and structures : an approach to definability theory
پدیدآورنده : Barwise, Jon
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Admissible sets,، Definability theory )Mathematical logic(
رده :
QA
9
.
B29
1975
117. Admissible sets and structures : an approach to definability theory
پدیدآورنده : Barwise, Jon
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Admissible sets,، Definability theory )Mathematical logic(
رده :
QA
9
.
B29
118. Advanced BDD optimization
پدیدآورنده : / by Rudiger Ebendt, Gorschwin Fey and Rolf Drechsler
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Decision making- Mathematical models,Decision trees,Logic design- Mathematics,Algebra, Boolean
رده :
T57
.
95
.
E24
2005
119. Advanced BDD optimization
پدیدآورنده : Ebendt, Rudiger
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Mathematical models ، Decision making,، Decision trees,Mathematics ، Logic design,، Algebra, Boolean
رده :
T
57
.
95
.
E23A3
120. Advanced concepts in fuzzy logic and systems with membership uncertainty
پدیدآورنده : Starczewski, Janusz T.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Fuzzy logic,، Fuzzy systems,، Fuzzy sets,Mathematical models ، Uncertainty )Information theory(
رده :
QA
248
.
5
.
S72A3
